29 ideas
| 6253 | Reason is our power of finding out true propositions [Hutcheson] |
| 8623 | Proof reveals the interdependence of truths, as well as showing their certainty [Euclid, by Frege] |
| 13907 | If you pick an arbitrary triangle, things proved of it are true of all triangles [Euclid, by Lemmon] |
| 10653 | Maybe set theory need not be well-founded [Varzi] |
| 10648 | Mereology need not be nominalist, though it is often taken to be so [Varzi] |
| 10655 | Are there mereological atoms, and are all objects made of them? [Varzi] |
| 10659 | There is something of which everything is part, but no null-thing which is part of everything [Varzi] |
| 6297 | Euclid's geometry is synthetic, but Descartes produced an analytic version of it [Euclid, by Resnik] |
| 9603 | An assumption that there is a largest prime leads to a contradiction [Euclid, by Brown,JR] |
| 9894 | A unit is that according to which each existing thing is said to be one [Euclid] |
| 8738 | Postulate 2 says a line can be extended continuously [Euclid, by Shapiro] |
| 22278 | Euclid relied on obvious properties in diagrams, as well as on his axioms [Potter on Euclid] |
| 8673 | Euclid's parallel postulate defines unique non-intersecting parallel lines [Euclid, by Friend] |
| 10250 | Euclid needs a principle of continuity, saying some lines must intersect [Shapiro on Euclid] |
| 10302 | Euclid says we can 'join' two points, but Hilbert says the straight line 'exists' [Euclid, by Bernays] |
| 14157 | Modern geometries only accept various parts of the Euclid propositions [Russell on Euclid] |
| 1600 | Euclid's common notions or axioms are what we must have if we are to learn anything at all [Euclid, by Roochnik] |
| 10661 | 'Composition is identity' says multitudes are the reality, loosely composing single things [Varzi] |
| 10654 | The parthood relation will help to define at least seven basic predicates [Varzi] |
| 10651 | If 'part' is reflexive, then identity is a limit case of parthood [Varzi] |
| 10649 | 'Part' stands for a reflexive, antisymmetric and transitive relation [Varzi] |
| 10647 | Parts may or may not be attached, demarcated, arbitrary, material, extended, spatial or temporal [Varzi] |
| 10658 | Sameness of parts won't guarantee identity if their arrangement matters [Varzi] |
| 10652 | Conceivability may indicate possibility, but literary fantasy does not [Varzi] |
| 6256 | Can't the moral sense make mistakes, as the other senses do? [Hutcheson] |
| 6252 | Happiness is a pleasant sensation, or continued state of such sensations [Hutcheson] |
| 6257 | You can't form moral rules without an end, which needs feelings and a moral sense [Hutcheson] |
| 6254 | We are asked to follow God's ends because he is our benefactor, but why must we do that? [Hutcheson] |
| 6255 | Why may God not have a superior moral sense very similar to ours? [Hutcheson] |